Explicit Non-normal Modal Logic

Faroldi argues that deontic modals are hyperintensional and thus traditional modal logic cannot provide an appropriate formalization of situations. To overcome this issue, we introduce novel justification logics as analogues to non-normal logics. We establish soundness completeness with respect various models study the problem realization.